Module isotope::ctx::eq [−][src]
Expand description
Contexts for equality-checking terms
Structs
DisjointSetCtx | A standard context for hash-consing and equality checking |
Structural | Structural comparison |
Typed | Typed value comparison |
Untyped | Untyped value comparison |
Traits
TermEqCtx | A type which may be used as a context for checking |
TermEqCtxEdit | A type which may be used as an editable context for checking |
TermEqCtxMut | A type which may be used as a mutable context for checking |